DEF=test
EXT=test
TESTDIR=.
KAST_FLAGS=--debug-tokens

include ../../../include/kframework/ktest.mak
